1

Types in Combinatory Logicby Luis E. Sanchis

Year:
1967
Language:
english
File:
PDF, 384 KB
english, 1967
3

On Universal Character of the Primitive Logicby Katuzi Ono

Year:
1969
Language:
english
File:
PDF, 396 KB
english, 1969
6

A Certain Kind of Formal Theoriesby Katuzi Ono

Year:
1969
Language:
english
File:
PDF, 661 KB
english, 1969
7

Logikby Günther Patzig

Year:
1960
File:
PDF, 375 KB
1960
8

A Formalism for Primitive Logic and Mechanical Proof-Checkingby Katuzi Ono

Year:
1969
Language:
english
File:
PDF, 217 KB
english, 1969
9

Logistikby Günther Patzig

Year:
1960
File:
PDF, 368 KB
1960
10

A Pursuit of Simple Basic Systemsby Katuzi Ono

Year:
1969
Language:
english
File:
PDF, 216 KB
english, 1969
12

A Remark on the Intersection of Two Logicsby Satoshi Miura

Year:
1969
Language:
english
File:
PDF, 369 KB
english, 1969